Case $v$ =$>$ ${\it case}$ ${\it cont}$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$=$_{2}$$v$$\rightarrow$ ${\it case}$ else ${\it cont}$($x$) fi